Countable successor ordinals as generalized ordered topological spaces

Countable Ordinals

This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.

Hereditarily Homogeneous Generalized Topological Spaces

In this paper we study hereditarily homogeneous generalized topological spaces. Various properties of hereditarily homogeneous generalized topological spaces are discussed. We prove that a generalized topological space is hereditarily homogeneous if and only if every transposition of $X$ is a $mu$-homeomorphism on $X$.

Linearly Ordered Topological Spaces

This work is devoted to the study of certain cardinality modifications of paracompactness and compactness in the setting of linearly ordered spaces. Some of the concepts treated here have previously been studied by Aquaro [l]1, Gulden [4], Kennison [5], Mansfield [6], Morita [7], and Poppe [9]. On the other hand, the concept of m-boundedness, introduced in §2, is new. Our main results (Theorems...

On Generalized Implicit Vector Equilibrium Problems in Topological Ordered Spaces

Partially Ordered Topological Spaces